- 双语例句 更多例句
1、
为了研究数据库中的函数依赖性，我们还将介绍数据的依赖性的形式化定义及依赖性的语义因素等。
互联网摘选
2、
3、
它为设计人员提供了各种各样的视图、半形式化的元模型语义、对设计元素的形式化逻辑约束。
互联网摘选
4、
5、
6、
7、
However, its lack of rigor and formal semantics prevents it further developing.
但uml没有精确的、形式化的语义阻碍了它的进一步发展.
网络文摘精选
8、
软件体系结构描述语言ADL（architecture description language，ADL）具有严格的形式化语义基础，为软件体系结构的表示与分析提供支持，已成为软件工程研究领域的热点。
互联网摘选
9、
Multi-paradigm Based Instruction Assistant System for Formal Semantics Course
基于多语言范例的形式语义学教学辅助系统
互联网摘选
10、
本文提出了一种新的简单的迹语义，用于刻画协议部分安全性质，即只针对协议规约的单个主体，此技术支持协议设计者对安全性质进行形式化规约。
互联网摘选
- 相关词组
- world semantics[计] 世界语义学;
- trace semantics[计]轨迹语义学;
- body semantics体态语义学；手势语义学;
- tree semantics[计]树状语义学;
- formal organization正式组织;
- query semantics[计]查询语义学;
- formal application正式申请;
- logic semantics[计]逻辑语义学;
- formal attire礼服;
- final semantics[计]最终语义学;
- formal algebra形式代数;
- data semantics[计]数据语义学;
- verb semantics动词语义学;
- formal wear正装;
- formal agreement正式协议;
- formal sitting隆重开会;
- formal note正式照会;
- formal dressn.礼服;大礼服;
- fault semantics[计]故障语义学;
- formal education形式教育;正式教育;
- 今日热词
- 热门搜索
- seek v.寻找;谋求;请求（帮助），征求（意见）;想方设法;
- alphanumeric adj.文字数字的，包括文字与数字的;
- lie to me 别对我撒谎;
- quarter n. 四分之一;季度;一刻钟;25分硬币;地区;群体;营房;半圆的月相;一节;夸特;慈悲;住处;v.把…分成四等份;为…提供临时住所;
- Burberry n.博柏利;巴宝利雨衣; 巴宝莉；博柏利；巴宝丽
- satisfactory adj.令人满意的;合适的;
- commitment n.信奉，忠诚;承诺;已许诺的事;献身;投入;花费;
- aula n.第三脑室前端;
- csc 肿瘤干细胞；国家留学基金委；余割；余割(cosecant)的符号;中心性浆液性视网膜脉络膜病变；余割函数
- kfc abbr.Kentucky fried chicken 肯德基;肯德基;肯德基快餐店
- botany n.植物学;精纺毛纱;细羊毛;
- adequate adj.足够的;适当的，恰当的;差强人意的;胜任的;
